13 research outputs found

    Partial evaluation in logic programming

    Get PDF
    AbstractThis paper gives a theoretical foundation for partial evaluation in logic programming. Let P be a normal program, G a normal goal, A a finite set of atoms, and P′ a partial evaluation of P wrt A. We study, for both the declarative and procedural semantics, conditions under which P′ is sound and complete wrt P for the goal G. We identify two relevant conditions, those of closedness and independence. For the procedural semantics, we show that, if P′ ∪ {G} is A-closed and A is independent, then P′ is sound and complete wrt P for the goal G. For the declarative semantics, we show that, if P′ ∪ {G} is A-closed, then P′ is sound wrt P for the goal G. However, we show that, unless strong conditions are imposed, we do not have completeness for the declarative semantics. A practical consequence of our results is that partial evaluators should enforce the closedness and independence conditions

    Tree-Walking Pebble Automata

    No full text
    this paper is to investigate the power of tree-walking automata with pebbles. Obviously, the unrestricted use of pebbles leads to a class of tree languages much larger than the regular tree languages, in fact to all tree languages in NSPACE(logn). Thus, we restrict the automaton to the recursive use of pebbles, in the sense that the life times of pebbles, i.e., the times between dropping a pebble and lifting it again, are properly nested. A similar, but stronger, nesting requirement is studied in [13] for 2-way automata on strings. We prove in Section 5 that our restriction indeed guarantees that all tree languages recognized by the tree-walking pebble automaton are regular, but we conjecture that the automaton is not powerful enough to recognize all regular tree languages. In Section 6 we generalize the notion of pebble to that of a \set-pebble", in such a way that the tree-walking set-pebble automaton recognizes exactly the regular tree languages

    Walking Behavior of Zoo Elephants: Associations between GPS-Measured Daily Walking Distances and Environmental Factors, Social Factors, and Welfare Indicators

    Get PDF
    Research with humans and other animals suggests that walking benefits physical health. Perhaps because these links have been demonstrated in other species, it has been suggested that walking is important to elephant welfare, and that zoo elephant exhibits should be designed to allow for more walking. Our study is the first to address this suggestion empirically by measuring the mean daily walking distance of elephants in North American zoos, determining the factors that are associated with variations in walking distance, and testing for associations between walking and welfare indicators. We used anklets equipped with GPS data loggers to measure outdoor daily walking distance in 56 adult female African (n = 33) and Asian (n = 23) elephants housed in 30 North American zoos. We collected 259 days of data and determined associations between distance walked and social, housing, management, and demographic factors. Elephants walked an average of 5.3 km/day with no significant difference between species. In our multivariable model, more diverse feeding regimens were correlated with increased walking, and elephants who were fed on a temporally unpredictable feeding schedule walked 1.29 km/day more than elephants fed on a predictable schedule. Distance walked was also positively correlated with an increase in the number of social groupings and negatively correlated with age. We found a small but significant negative correlation between distance walked and nighttime Space Experience, but no other associations between walking distances and exhibit size were found. Finally, distance walked was not related to health or behavioral outcomes including foot health, joint health, body condition, and the performance of stereotypic behavior, suggesting that more research is necessary to determine explicitly how differences in walking may impact elephant welfare
    corecore